Animation of System Specifications using Concurrent Logic Programming

OASIS is a Language for the Specification of Object Oriented Conceptual Models. In OASIS the conceptual schema of an information system is represented as a society of concurrent objects interacting with one another. Animation of such models in order to validate the Specification of Information Systems is an interesting topic. We have developed a basic Execution Model for OASIS Specifications. The Model includes features such as the representation of attributes, events, derivations, preconditions, evaluations and triggers. On the other hand, Concurrent Logic Programming is a suitable paradigm for distributed computation because it allows a natural representation of concurrence. Using Concurrent Logic Programming we are able to animate OASIS Specifications according to the OASIS Execution Model. In this work we show how the object-oriented (OO) concepts of an OASIS Specification are represented directly using Concurrent Logic Programming concepts. We give an example of a bank account codified in Parlog language and we show parts of the program that animates its corresponding OASIS specification. A CASE tool supporting the OASIS Model has been implemented and our aim is to add a module for animation of specifications.